机译:有效构建机器检查的符号协议安全性证明
机译:安全证明对关键建立协议的重要性对Jan-Chen,Yang-Shen-Shieh,Kim-Huh-Hwang Lee,Lin-Sun-Hwang和Yeh-Sun协议进行形式分析
机译:具有强大安全性的高效两方密钥交换协议
机译:强大的不变性,用于高效建设的手机检查的协议。安全证明。
机译:数据认证的协议和安全证明
机译:E-SAP:使用无线医疗传感器网络的医疗保健应用程序的高效强身份验证协议
机译:有效构建机器检查的符号协议安全性证明。